home *** CD-ROM | disk | FTP | other *** search
/ Dr. Windows 3 / dr win3.zip / dr win3 / WINWORDS / WR30.ZIP / TEST_REF.REF < prev    next >
Text File  |  1992-12-02  |  18KB  |  646 lines
  1. %T Applying New Scheduling Theory to Static Priority Pre-emptive Scheduling
  2. %A N. Audsley
  3. %A A. Burns
  4. %A M. Richardson
  5. %A K. Tindell
  6. %A A. Wellings
  7. %R RTRG/92/120
  8. %J Report RTRG/92/120 Department of Computer Science, University of York
  9. %D February 1992
  10.  
  11. %T Mode Changes in Priority Pre-emptively Scheduled Systems
  12. %A K. W. Tindell
  13. %A A. Burns
  14. %A A. J. Wellings
  15. %J Proceedings 13th IEEE Real-Time Systems Symposium
  16. %C Phoenix, Arizona, USA
  17. %D 2-4 December 1992
  18.  
  19. %T Using Offset Information to Analyse Static Priority Pre-Emptively Scheduled Task Sets
  20. %A K. Tindell
  21. %I Dept of Computer Science, University of York
  22. %R YCS 182
  23. %D August 1992
  24.  
  25. %T Allocating Real-Time Tasks (An NP-Hard Problem made Easy)
  26. %A K. Tindell
  27. %A A. Burns
  28. %A A.J. Wellings
  29. %J Real-Time Systems
  30. %V 4
  31. %N 2
  32. %D June 1992
  33. %P 145-165
  34.  
  35. %T Optimal Priority Assignment and Feasibility of Static Priority Tasks With Arbitrary Start Times
  36. %A N. C. Audsley
  37. %I Dept. Computer Science, University of York
  38. %R YCS 164
  39. %D December 1991
  40.  
  41. %T Fixed Priority Scheduling of Periodic Task Sets With Arbitrary Deadlines
  42. %A J. P. Lehoczky
  43. %J Proceedings 11th IEEE Real-Time Systems Symposium
  44. %C Lake Buena Vista, FL, USA
  45. %D 5-7 Decmeber 1990
  46. %P 201-209
  47. %K RTSS rate-monotonic periodic scheduling uniprocessor
  48.  
  49. %T STRESS: A Simulator For Hard Real-Time System
  50. %A N. C. Audsley
  51. %A A. Burns
  52. %A M. F. Richardson
  53. %A A. J. Wellings
  54. %R RTRG/91/106
  55. %I Real-Time Research Group, Department of Computer Science, University of
  56. York
  57. %D October 1991
  58. %K stress manual standard
  59.  
  60. %T Experiments with a program timing tool based on source-level timing schema
  61. %X Analytic methods are employed at the source-language level, using formal
  62. timing schema that include control costs, handle interferences such as
  63. interrupts, and produce guaranteed best- and worst-case bounds. The timing tool
  64. computes the deterministic execution times for programs that are written in a
  65. subset of C and run on a bare machine. Two versions of the tool were written,
  66. using two granularity extremes for the atomic elements of the timing schema.
  67. All overview of the tool is given, timing schema and code prediction are
  68. discussed, and machine analysis and timing tool design are examined.
  69. Experimental and validation results are reported. It was found that all the
  70. predicted times are consistent, and most are safe. Some predictions are fairly
  71. tight, while others are a little loose. There are clear technical reasons that
  72. explain the differences between measured and predicted times, and technical
  73. solutions that should minimize these differences within the timing schema
  74. framework are seen
  75. %K program timing tool, source-level timing schema, formal timing schema, Sep91 execution times
  76. %O Computer (USA)
  77. %J Computer
  78. %A C.Y. Park
  79. %A A.C. Shaw
  80. %V 24
  81. %N 5
  82. %P 48-57
  83. %D May 1991
  84.  
  85. %T Building a Predictable Avionics Platform in Ada: A Case Study
  86. %A C. D. Locke
  87. %A D. R. Vogel
  88. %A T. J. Mesler
  89. %P 181-
  90. %D December 1991
  91. %I Proceedings of the 12th Real Time Systems Symposium
  92.  
  93. %T Finding Response Times in a Real-Time System
  94. %A M. Joseph
  95. %A P. Pandya
  96. %J BCS Computer Journal
  97. %D Vol. 29, No. 5, Oct 86
  98. %P 390-395
  99. %X Some alternative analysis of static priority scheduling, though it does
  100. not explicitly mention the rate monotonic algorithm. Extends it to
  101. allow for buffered inputs.
  102.  
  103. %T Parallel Simulated Annealing using Speculative Computation
  104. %A E. E. Witte
  105. %A R. D. Chamberlain
  106. %A M. A. Franlin
  107. %J IEEE Transactions on Parallel and Distributed Systems
  108. %V 2
  109. %N 4
  110. %D October 1991
  111. %P 483-494
  112.  
  113. %T Grundlagen der Strassenverkehrsplanung in Stadt und Land
  114. %A J. W. Korte
  115. %D 1960
  116. %I Wiesbaden Bauverlag GmbH
  117.  
  118. %T Resource Control For Hard Real-Time Systems: A Review
  119. %A N. C. Audsley
  120. %R YCS 159
  121. %I Department of Coputer Science, University of York
  122. %D August 1991
  123.  
  124. %T Programming highly parallel general-purpose applications
  125. %A S.A. Dobson
  126. %A A.J. Wellings
  127. %B Proceedings of the BCS workshop on abstract machine models for highly parallel computers
  128. %I University of Leeds
  129. %P 40-52
  130. %V 2
  131. %D 24-26th March 1991
  132.  
  133. %T On The Feasibility of Response Time Predictions - An Experimental Evaluation
  134. %A A. Vrchoticky
  135. %A P. Puschner
  136. %I PDCS Project (Esprit BRA Project 3092), Second Year Report
  137. %V 2
  138. %D May 1991
  139. %K mars dma problem
  140.  
  141. %T Real-time System Design
  142. %A S. Levi
  143. %A A. Agrawala
  144. %B McGraw Hill
  145. %D 1990
  146. %K formal book
  147.  
  148. %T Four-Slot Fully Asynchronous Communication Mechanism
  149. %A H. Simpson
  150. %J IEE Proceedings
  151. %D Vol. 137, Pt. E., No. 1, Jan 1990
  152. %P 17-30
  153. %R Vol 3/Communication
  154.  
  155. %T Dynamic code replacement and Ada
  156. %X There is a problem in trying to maintain highly reliable software which must
  157. continue executing over a long period of time. This problem is characterized by
  158. the international space station Freedom. The space station has a long planned
  159. lifetime and requires that the computer system remain running for this period.
  160. Updates to software normally require reloading. This paper reports on a study
  161. into eliminating the need for reloading by providing mechanisms whereby Ada
  162. programs can be changed in a consistent manner, permitting the execution of
  163. the system to continue
  164. %K highly reliable software, space station Freedom, Ada programs Jan91
  165. %O Ada Lett. (USA)
  166. %J Ada Letters
  167. %A K. Tindell
  168. %V 10
  169. %N 7
  170. %P 47-54
  171. %D Sept.-Oct. 1990
  172.  
  173. %T Reconfigurable Flight Control Via Multiple Model Adaptive Control Methods
  174. %A P. S. Maybeck
  175. %A R. D. Stevens
  176. %J IEEE Transactions on Aerospace and Electronic Systems
  177. %D May 1991
  178. %V 27
  179. %N 3
  180. %P 470-480
  181.  
  182. %T Effect of Errors on a Contention-Based TDMA Protocol
  183. %A L-S. Liang
  184. %A J-F. Chang
  185. %J IEEE Transactions on Aerospace and Electronic Systems
  186. %D May 1991
  187. %V 27
  188. %N 3
  189. %P 492-506
  190.  
  191. %T Channel Characteristics in Local-Area Hard Real-Time Systems
  192. %A K. Ramamritham
  193. %J Computer Networks and ISDN Systems
  194. %V 13
  195. %N 1
  196. %D 1987
  197.  
  198. %T Mode Change Protocols for Priority-Driven Premptive Scheduling
  199. %A L. Sha
  200. %A R. Rajkumar
  201. %A J. Lehoczky
  202. %A K. Ramamritham
  203. %J Real-Time Systems 
  204. %V 1
  205. %N 3
  206. %D 1989
  207. %P 244-264
  208. %K RTS
  209.  
  210. %T A Possible Architecture of a Distributed Hard Real-Time Executive for Space Applications
  211. %A S. Sabina
  212. %A F. Fedi
  213. %J First International Symposium on Ground Data Systems for Spacecraft Control, ESOC, Darmstadt, Germany
  214. %D 26-29 June 1990
  215.  
  216. %T On a Real-Time Scheduling Problem
  217. %A S. K. Dhall
  218. %A C. L. Liu
  219. %J Operations Research
  220. %V 26
  221. %N 1
  222. %P 127-140
  223. %D February 1978
  224.  
  225. %T Optimization by Simulated Annealing: An experimental Evaluation; Part I, Graph Partitioning
  226. %A David S. Johnson
  227. %A Cecilia R. Aragon
  228. %A Lyle A. McGeoch
  229. %A Catherine Schevon
  230. %J Operations Research
  231. %V 37
  232. %N 6
  233. %P 865-892
  234. %D November-December 1989
  235.  
  236. %T Digital Control Using Microprocessors
  237. %A Paul Katz
  238. %I Prentice Hall International
  239. %D 1981
  240.  
  241. %T Heuristic Technique for Processor and Link Assignment in Multicomputers
  242. %A S. Wayne Bollinger
  243. %A Scott F. Midkiff
  244. %J IEEE Transactions on Computers
  245. %V 40
  246. %N 
  247. %D March 1991
  248. %P 325-333
  249.  
  250. %T Scheduling Hard Real-Time Systems: A Review
  251. %A A. Burns
  252. %J Software Engineering Journal
  253. %V 6
  254. %N 3
  255. %P 116-128
  256. %D 1991
  257.  
  258. %T A system for building scalable parallel applications
  259. %A S.A. Dobson
  260. %A A.J. Wellings
  261. %B Proceedings of the IFIP working conference on programming environments for parallel computing
  262. %I University of Edinburgh
  263. %D 6-8th April 1992
  264. %O To be published by Elsevier
  265.  
  266. %T A Shortest Tree Algorithm for Optimal Assignments Across Space and Time in a Distributed Processor System
  267. %A S. H. Bokhari
  268. %J IEEE Transactions on Software Engineering 
  269. %V SE-7
  270. %N 6
  271. %P 583-589
  272. %D November 1981
  273. %K  TSE 
  274.    IEEEtse
  275.  
  276. %T Heuristic Models of Task Assignment Scheduling in Distributed Systems
  277. %A Kemal Efe
  278. %J IEEE Computer
  279. %V 15
  280. %N 6
  281. %D June 1982
  282. %P 50-??
  283. %K IEEEComp
  284.  
  285. %T A Heuristic Model for Task Allocation in Distributed Computer Systems
  286. %A Anil K. Sarje
  287. %A G. Sagar
  288. %J IEEE Proceedings E - Computers and Digital Techniques
  289. %D To Appear
  290.  
  291. %T A Problem Independent Parallel Implementation of Simulated Annealing: Models and Experiments
  292. %A Pierre Roussel-Ragot
  293. %A Gerard Dreyfus